Queueing-network Stability: Simulation-based Checking
نویسندگان
چکیده
Queueing networks are either stable or unstable, with stable networks having finite performance measures and unstable networks having asymptotically many customers as time goes to infinity. Stochastic simulation methods for estimating steady-state performance measures often assume that the network is stable. Here, we discuss the problem of checking whether a given network is stable when the stability-checking algorithm is allowed only to view arrivals and departures from the network. 1 THE STABILITY-CHECKING PROBLEM Given only simulation code of a queueing-network model, we consider the problem of developing a statistical algorithm to check whether the network is stable. Informally, stable means that the network behavior does not explode in the limit as time goes to infinity. Note that this problem is about long-run network equilibrium, not initial-transient bias of point estimators.
منابع مشابه
Capacity planning in the hospital queueing network with blocking: simulation-based optimization approach
Introduction: Hospital administrators have always faced the challenge of providing the best possible health services in a resource-limited environment. The patient flow throughout the hospital is affected by lack of the capacities that can lead to bed-blocking among the hospital units. In this research, the patient flow in the hospital is modeled as an open queueing network with blocking. Then,...
متن کاملQueueing Models and Stability of Message Flows in Distributed Simulators of Open Queueing Networks - Parallel and Distributed Simulation, 1996. Pads 96. Proceedings. Tenth Workshop on
In this paper we study message flow processes in distributed simulators of open queueing networks. We develop and study queueing models for distributed simulators with maximum lookahead sequencing. We characterize the “external” arrival process, and the message feedback process in the simulator of a simple queueing network with feedback. We show that a certain “natural” modelling construct for ...
متن کاملStability and Instability of a Two-Station Queueing Network
This paper proves that the stability region of a 2-station, 5-class reentrant queueing network, operating under a non-preemptive static buffer priority service policy, depends on the distributions of the interarrival and service times. In particular, our result shows that conditions on the mean interarrival and service times are not enough to determine the stability of a queueing network, under...
متن کاملValidation and Simulation of Communication Protocols: an Integrated Approach
We present a system for the simulation and validation of communication protocols. Our tool borrows ideas from Spin Holzmann, 1997], but in addition enables the modeling of timing and probability constraints because it is based on discrete event simulation. We describe a logic for specifying properties of communication protocols, and a model-checking algorithm for calculating the probability of ...
متن کاملStability and Optimization of Queueing Networks
We describe some approaches to the synthesis of optimal policies for multiclass queueing network models based upon the close connection between stability of queueing networks and their associated uid limit models. It is found that there is also a close connection between optimization of the network and optimal control of the far simpler uid network model. This observation leads to a new class o...
متن کامل